Минимальная логика - meaning and definition. What is Минимальная логика
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is Минимальная логика - definition


Минимальная логика         

логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как "из противоречия следует всё что угодно"). Несмотря на недоказуемость этого логического принципа и тем более формулы ⌉ ⌉ А ⊃ А ("закона снятия двойного отрицания"), в минимальном исчислении высказываний (А. Н. Колмогоров, 1925, норвежский логик И. Иоганссон, 1936) можно доказать от противного отрицательные предложения, опираясь на "закон приведения к абсурду": (А ⊃ В) ⊃ ((A ⊃ ⌉ В) ⊃ ⌉ А). Эту систему можно обычным образом расширить до минимального исчисления предикатов, играющего важную роль в работах по основаниям математики: его логические средства (хотя это явно и не оговаривается) используются, например, в доказательствах непротиворечивости (См. Непротиворечивость) классической арифметики, предложенных немецкими логиками Г. Генценом (1936, 1938) и К. Шютте (1951) и П. С. Новиковым (1943) (см. Метаматематика). Это исчисление используется также как логическая база метатеории (См. Метатеория) в работах по ультраинтуиционистскому обоснованию математики (см. Аксиоматическая теория множеств, Аксиоматический метод). Ослабление (сужение) М. л. посредством исключения из числа аксиом "закона приведения к абсурду" приводит к положительной логике (См. Положительная логика).

Лит.: Колмогоров А. Н., О принципе tertium non datur, "Математический сборник", 1925, т. 32, в. 4, с. 646-67; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, с. 94, 490-91; Johansson J., Der Minimalkalkül, ein reduzierter Formalismus, "Compositio mathematica", 1937, v, 4, fasc. 1; Wajsberg M., Untersuchungen über den Aussagenkalkül von A. Heyting, "Wiadomosci Mathematyczne", 1939, t. 46.

Ю. А. Гастев.

Минимальная логика         
Минимальная логика — это специальная логическая система, в которой при операциях с высказываниями не применяется ни закон исключённого третьего, ни то следствие, вытекающее из закона противоречия, по которому из противоречия следует всё что угодно.
Троичная логика         
ОДИН ИЗ ВИДОВ МНОГОЗНАЧНОЙ ЛОГИКИ
Трехзначная логика; Трёхзначная логика; Логика Клини
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика, является простейшим расширением двузначной логики.

Wikipedia

Минимальная логика

Минимальная логика — это специальная логическая система, в которой при операциях с высказываниями не применяется ни закон исключённого третьего, ни то следствие, вытекающее из закона противоречия, по которому из противоречия следует всё что угодно.

С точки зрения всеобщей применимости минимальная логика является результатом пересмотра, принципов классической логики.

What is Миним<font color="red">а</font>льная л<font color="red">о</font>гика - meaning and definitio